Formal Written Method For Division